Feasibility as a gradual notion
نویسنده
چکیده
The notion of feasibility, applicable in various areas related to logic, is arguably of gradual nature—some tasks are more feasible than others. The possibility of modeling a gradual notion of feasibility in t-norm logics is brought forward and illustrated on the gradual notions of feasible number, feasible knowledge, feasible formula, and feasible computability.
منابع مشابه
GRADUAL NORMED LINEAR SPACE
In this paper, the gradual real numbers are considered and the notion of the gradual normed linear space is given. Also some topological properties of such spaces are studied, and it is shown that the gradual normed linear space is a locally convex space, in classical sense. So the results in locally convex spaces can be translated in gradual normed linear spaces. Finally, we give an examp...
متن کاملGradual Refinement Types Extended Version with Proofs
Refinement types are an effective language-based verification technique. However, as any expressive typing discipline, its strength is its weakness, imposing sometimes undesired rigidity. Guided by abstract interpretation, we extend the gradual typing agenda and develop the notion of gradual refinement types, allowing smooth evolution and interoperability between simple types and logicallyrefin...
متن کاملPotentiality of Moringa oleifera aqueous extract as a growth modulator and antistress in acute hypoxic Nile tilapia Oreochromis niloticus
This study aims to get a comprehensive evaluation of the growth promoting effects and the hypoxic stress relief potentiality of Moringa oleifera aqueous extracts. Oreochromis niloticus fingerlings were arbitrarily allocated into five duplicated fish groups (30 fish tank-1). The fish groups were labeled according to the M. oleifera aqueous extract dietary inclusion level (G1:G5). MOAE had fundam...
متن کاملDeriving a Simple Gradual Security Language
Abstracting Gradual Typing (AGT) is an approach to systematically derive gradual counterparts to static type disciplines (Garcia et al. 2016). The approach consists of defining the semantics of gradual types by interpreting them as sets of static types, and then defining an optimal abstraction back to gradual types. These operations are used to lift the static discipline to the gradual setting....
متن کاملSession Types with Gradual Typing
Session types enable fine-grained static control over communication protocols. Gradual typing is a means to safely integrate statically and dynamically typed program fragments. We propose a calculus for synchronous functional two-party session types, augment this calculus with a dynamically typed fragment as well as coercion operations between statically and dynamically typed parts, and establi...
متن کامل